军事综合电子信息系统需求描述框架及其辅助工具开发研究

需求描述是需求工程的重要组成部分,文中提出了一种军事综合电子信息系统需求描述框架,将军事综合电子信息系统需求分为作战需求、用户需求和系统需求3个层次,并简要介绍这3种需求的内容体系;最后以需求描述框架为指导,介绍了描述工具集的设计与开发思路。     

基于矩阵束方法的全极化雷达目标结构特征的描述

针对宽带、高距离分辨率、全极化雷达的工作体制,提出了利用矩阵束方法将雷达目标分解为沿径向距离上的散射中心分布。根据目标的瞬态极化响应,提取相应于散射中心的极化特征,由此形成目标沿径向距离分布的结构特征描述的新方法。     

CORBA分布计算软件平台的一种基于定制机制的优化技术

CORBAIDL语言的描述能力非常弱 ,缺乏描述分布对象动态行为语义的机制 ,软件开发的自动化也只限于生成含有基本功能的后端形式 ,不能满足不同应用的时空需求。通过扩展IDL文件中的注释来描述分布对象方法适配的行为 ,提供了一种定制分布对象方法适配行为的机制。这种机制不仅有利于提高分布系统的时空效率和软件自动化的程度 ,而且不影响应用的可移植性和互操作性。另外 ,本文进一步给出了通过扩展CORBAIDL解决类似问题的设计模板。     

MAS中Agent属性冲突形式化描述及消解系统研究

由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。     

一种可扩展的Cyber空间作战体系描述模型

研究了Cyber空间作战体系模型构建技术,提出一种面向Cyber空间作战模拟的战争系统建模新思路,并以此为基础提出了Cyber空间作战体系一体化逻辑网络模型。将Cyber空间作战涉及到的敌我双方作战实体视为一个整体系统的组分,抽象为网络模型的实体节点,实体间的各种合作、协同、对抗等不同类型交互行为统一抽象为网络模型的逻辑边。针对网络模型的节点和边分别建立了基于本体的实体描述模型和基于OO-LAMBDA语言的行为描述模型。通过一个真实战例的仿真实验验证了本文提出的方法的有效性和正确性。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

基于弹药效能分解的装备战损建模方法研究

针对传统装备战损建模方法通用性较差、难以满足装备实际维修需求的缺点,提出了基于弹药效能分解的装备战损建模方法,具体包括弹药毁伤效应建模、装备结构描述建模、装备抗毁性数据库建模3部分.该方法对装备战损的精细程度进行分析,并且可以求得针对某个可更换单元的维修工序,从而为装备维修保障提供决策依据和参考.     

C4ISR体系结构服务视图及其演化的形式化描述方法

为描述“网络化作战”中C4ISR系统资源的动态集成过程,实现作战任务过程与军事系统资源的分离,在DoDAF2.0、NATOAFv3.0、MoDAF1.2等体系结构框架研究基础上,提出了一种C4ISR体系结构服务视图描述框架.通过服务视图产品的形式化描述,分析了服务视图产品间的逻辑关系,为应对作战任务过程调整重点研究了基...     

面向装备发展的作战任务描述方法研究

为了有效、正确地进行武器装备作战需求分析,需要提出规范化的作战任务描述方法。针对武器装备作战需求分析的特点,研究提出作战任务描述产品,确定了详细的开发过程。以联合火力打击战役为背景,应用该方法进行作战任务描述并给出部分描述产品,验证了该方法的有效性。